1. A Concise Introduction to Mathematical Logic
Author: by Wolfgang Rautenberg.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Logic, Symbolic and mathematical.,Mathematics.
2. A Course on Mathematical Logi
Author: / by Shashi Mohan Srivastava
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: Mathematics,Computer science,Algebra,Logic, Symbolic and mathematical,Electronic books
Classification :
E-BOOK
3. <A> Theory of Syntax : Minimal Operations and Universal Grammar
Author:
Library: Library of Foreign Languages and Islamic Sources (Qom)
Subject: Grammar, Comparative and general - Syntax,Minimalist theory (Linguistics),Language and languages - Origin,Evolution,دستور زبان تطبیقی - نحو,زبان - منشاء,تکامل
Classification :
CD-B
,
P
,
291
.
H662
,
2009
4. A Theory of syntax : minimal operations and universal grammar
Author: Hornstein, Norbert
Library: Central Library and Document Center of Isfahan University (Esfahan)
Subject: Grammar, Comparative and general ► Minimalist theory (Linguistics) ► Language and languages ► Evolution
Classification :
415
H816t
5. A companion of feminisms for digital design and spherology /
Author: Amanda Windle.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Feminist theory.,Social structure-- Philosophy.,Sphere in art.,Feminist theory.,Social structure-- Philosophy.,Sphere in art.
Classification :
HQ1190
.
W56
2019
6. A first journey through logic /
Author: Martin Hils, François Loeser.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Logic, Symbolic and mathematical, Textbooks.,Mathematics, Textbooks.,Logic, Symbolic and mathematical.,Mathematical logic and foundations -- Instructional exposition (textbooks, tutorial papers, etc.),Mathematics.,Mathematische Logik
Classification :
QA9
.
H52445
2019
7. A mathematical introduction to logic
Author: / Herbert B. Enderton
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: Logic, Symbolic and mathematical
Classification :
E-BOOK
8. A theory of syntax :minimal operations and universal grammar
Author: [By] Norbert Hornstein
Library: Library of Faculty Literature of University of Tehran (Tehran)
Subject: Grammar, Comparative and general--Syntax.,Minimalist theory (Linguistics),Language and languages--Origin.,Evolution.
9. Abstract recursion and intrinsic complexity
Author:
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: Algorithms. ; Recursion theory. ; Set theory. ;
10. Abstract recursion and intrinsic complexity /
Author: Yiannis N. Moschovakis (University of California, Los Angeles, and University of Athens).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Algorithms.,Recursion theory.,Set theory.,Algorithms.,Recursion theory.,Set theory.
Classification :
QA9
.
58
.
M67
2019
11. Algebraic computability and enumeration models : recursion theory and descriptive complexity
Author: Cyrus F. Nourani
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Functor theory,، Model theory,، Computable functions,، Algebra, Homological,، Kleene algebra
Classification :
QA
169
.
N68A4
12. Algebraic recursion theory /
Author: L.L. Ivanov ; editor, Dr. J.L. Bell
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Recursion theory
Classification :
QA9
.
6
.
I93
1986
13. Algebraic recursion theory
Author: L.L. Ivanov; editor J.L. Bell
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Recursion theory
Classification :
QA
9
.
6
.
I93
14. Algorithm design
Author: Paull, Marvin C
Library: Central Library of Esfehan University of Technology (Esfahan)
Subject: Recursion theory►Algorithms
Classification :
9
.
6
.
P38
15. Algorithm design : a recursion transformation framework
Author: Paull, Marvin C.
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Recursion theory,، Algorithms
Classification :
QA
9
.
6
.
P38
1988
16. Algorithmics :
Author: Gilles Brassard and Paul Bratley.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Algorithms.,Recursion theory.,algorithme efficace.,algorithme probabiliste.,algorithme vorace.,algorithmique.,analyse algorithmique.,complexité calcul.,conception algorithme.,Algorithmes.,Récursivité, Théorie de la.,Algorithmentheorie,Algorithms.,Algorithms.,Algorithmus,Recursion theory.,Recursion theory.
Classification :
QA9
.
6
.
B73
1988
17. Algorithmics
Author: Gilles Brassard and Paul Bratley,Title
Library: (Mazandaran)
Subject: Recursion theory,Algorithms
Classification :
QA
.
B73
9
.
6
1988
18. Algorithmics
Author: / Gilles Brassard and Paul Bratley
Library: Library of College of Science University of Tehran (Tehran)
Subject: Recursion theory,Algorithms
Classification :
QA
9
.
6
.
B73
1988
19. Algorithmics
Author: Brassard, Gilles, 1955-
Library: Central Library of Esfehan University of Technology (Esfahan)
Subject: Recursion theory►Algorithms
Classification :
9
.
6
.
B73
20. Algorithmics : Theory and practice
Author: / Gilles Brassard, Paul Bratley
Library: University of Tabriz Library, Documentation and Publication Center (East Azarbaijan)
Subject: Recursion theory,Algorithems
Classification :
QA9
.
6
.
B73
1988
